((v1 v2 3) (v2 v3 2) (v3 v4 3) (v4 v5 9) (v5 v6 8) (v6 v7 8) (v7 v8 2) (v8 v9 1) (v9 v10 5) (v10 v11 8) (v11 v12 8) (v12 v13 2) (v13 v14 1) (v14 v15 6) (v15 v16 2) (v16 v1 5))
172
()